main()
{
    long int a;
    for (a=1001; a<=3000; a+=2)
    {
        printf("%ld:",a);
        printf("( %ld*%ld - 1 ) / 8",a,a);
        printf("= %ld ", (a*a-1)/8);
        printf("+ %ld\n", (a*a-1)%8);
    }
}